Abstract Effective Models

نویسندگان

  • Udi Boker
  • Nachum Dershowitz
چکیده

Effective Models Udi Boker and Nachum Dershowitz School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel {udiboker,nachumd}@tau.ac.il

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Calibration method of numerical models in coastal sediment studies of Kuhmobarak area

Abstract Application of numerical models is useful in coastal sediment studies; however, it is essential to calibrate the models in an appropriate method. Empirical equations, historical satellite imagery and other coastal data and evidence are proposed for the models calibration in the vicinity of coastal indicators around the site of projects. In this study, coastal sediment process of K...

متن کامل

Semantic Issues in Architectural Refinement

Abstract Component and Connector View Relating software architecture to implementation is essential for effective software development and evolution. However, significant gaps exit between abstract architecture models and the more concrete models supported by implementation tools, making it difficult to ensure that an architecture and implementation are consistent. This paper Concrete Component...

متن کامل

Multi-fermion interaction models in curved spacetime

Abstract. A model with a scalar type eight-fermion interaction is investigated in curved spacetime. The ground state of the model can be obtained by observing the effective potential. Applying the Riemann normal coordinate expansion, we calculate an effective potential of the model in a weakly curved spacetime. The result is extended to models with multi-fermion interactions. We numerically sho...

متن کامل

Res Publica: The Universal Model of Computation

We proffer a model of computation that encompasses a broad variety of contemporary generic models, such as cellular automata—including dynamic ones, and abstract state machines— incorporating, as they do, interaction and parallelism. We ponder what it means for such an intertwined system to be effective and note that the suggested framework is ideal for representing continuous-time and asynchro...

متن کامل

Examining Effective Factors on Duration Time of Recommitment Using Cox's Proportional Hazard Model

Abstract. Recently, in most of scientific studies, the use of survival analysis is performed for examining duration time models.  One of the important applications of survival analysis is the study of recommitment crime in criminology which has not yet been considered in Iran.  So, with attention to the necessity and importance of predicting recommitment time and the analysis of duration model...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 135  شماره 

صفحات  -

تاریخ انتشار 2006